home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / language / modula.zoo / _defn_mathlib0.def < prev    next >
Text File  |  1988-04-26  |  384b  |  23 lines
  1. DEFINITION MODULE MathLib0;
  2.  
  3.   (* Version 1.2 of 94/07/08 *)
  4.  
  5.  
  6.   PROCEDURE sqrt (x: REAL): REAL;
  7.  
  8.   PROCEDURE exp (x: REAL): REAL;
  9.  
  10.   PROCEDURE ln (x: REAL): REAL;
  11.  
  12.   PROCEDURE sin (x: REAL): REAL;
  13.  
  14.   PROCEDURE cos (x: REAL): REAL;
  15.  
  16.   PROCEDURE arctan (x: REAL): REAL;
  17.  
  18.   PROCEDURE real (x: INTEGER): REAL;
  19.  
  20.   PROCEDURE entier (x: REAL): INTEGER;
  21.  
  22. END MathLib0.
  23.